Optimal. Leaf size=329 \[ -\frac{x (423 d-1367 e)+1367 d-293 e}{1400 \left (5 x^2+2 x+3\right )^2 \left (5 d^2-2 d e+3 e^2\right )}+\frac{25 x \left (-9033 d^2 e+2203 d^3+3635 d e^2-1829 e^3\right )-92989 d^2 e+171735 d^3+36207 d e^2+1831 e^3}{39200 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )^2}-\frac{e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log \left (5 x^2+2 x+3\right )}{2 \left (5 d^2-2 d e+3 e^2\right )^3}+\frac{e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}+\frac{\left (58530 d^3 e^2-56058 d^2 e^3-16643 d^4 e+42375 d^5+31811 d e^4-8623 e^5\right ) \tan ^{-1}\left (\frac{5 x+1}{\sqrt{14}}\right )}{1568 \sqrt{14} \left (5 d^2-2 d e+3 e^2\right )^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.496008, antiderivative size = 329, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 38, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.158, Rules used = {1646, 800, 634, 618, 204, 628} \[ -\frac{x (423 d-1367 e)+1367 d-293 e}{1400 \left (5 x^2+2 x+3\right )^2 \left (5 d^2-2 d e+3 e^2\right )}+\frac{25 x \left (-9033 d^2 e+2203 d^3+3635 d e^2-1829 e^3\right )-92989 d^2 e+171735 d^3+36207 d e^2+1831 e^3}{39200 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )^2}-\frac{e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log \left (5 x^2+2 x+3\right )}{2 \left (5 d^2-2 d e+3 e^2\right )^3}+\frac{e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}+\frac{\left (58530 d^3 e^2-56058 d^2 e^3-16643 d^4 e+42375 d^5+31811 d e^4-8623 e^5\right ) \tan ^{-1}\left (\frac{5 x+1}{\sqrt{14}}\right )}{1568 \sqrt{14} \left (5 d^2-2 d e+3 e^2\right )^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1646
Rule 800
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{2+x+3 x^2-5 x^3+4 x^4}{(d+e x) \left (3+2 x+5 x^2\right )^3} \, dx &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{1}{112} \int \frac{\frac{2 \left (3267 d^2-2843 d e+2800 e^2\right )}{25 \left (5 d^2-2 d e+3 e^2\right )}-\frac{6 \left (3080 d^2-809 d e+481 e^2\right ) x}{25 \left (5 d^2-2 d e+3 e^2\right )}+\frac{448 x^2}{5}}{(d+e x) \left (3+2 x+5 x^2\right )^2} \, dx\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{\int \frac{\frac{4 \left (8475 d^4-1193 d^3 e+8339 d^2 e^2-3397 d e^3+3136 e^4\right )}{\left (5 d^2-2 d e+3 e^2\right )^2}+\frac{4 e \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{\left (5 d^2-2 d e+3 e^2\right )^2}}{(d+e x) \left (3+2 x+5 x^2\right )} \, dx}{6272}\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{\int \left (\frac{6272 e^2 \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right )}{\left (5 d^2-2 d e+3 e^2\right )^3 (d+e x)}+\frac{4 \left (42375 d^5-22915 d^4 e+50690 d^3 e^2-60762 d^2 e^3+33379 d e^4-11759 e^5-7840 e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) x\right )}{\left (5 d^2-2 d e+3 e^2\right )^3 \left (3+2 x+5 x^2\right )}\right ) \, dx}{6272}\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}+\frac{\int \frac{42375 d^5-22915 d^4 e+50690 d^3 e^2-60762 d^2 e^3+33379 d e^4-11759 e^5-7840 e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) x}{3+2 x+5 x^2} \, dx}{1568 \left (5 d^2-2 d e+3 e^2\right )^3}\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}-\frac{\left (e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right )\right ) \int \frac{2+10 x}{3+2 x+5 x^2} \, dx}{2 \left (5 d^2-2 d e+3 e^2\right )^3}+\frac{\left (42375 d^5-16643 d^4 e+58530 d^3 e^2-56058 d^2 e^3+31811 d e^4-8623 e^5\right ) \int \frac{1}{3+2 x+5 x^2} \, dx}{1568 \left (5 d^2-2 d e+3 e^2\right )^3}\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}-\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log \left (3+2 x+5 x^2\right )}{2 \left (5 d^2-2 d e+3 e^2\right )^3}-\frac{\left (42375 d^5-16643 d^4 e+58530 d^3 e^2-56058 d^2 e^3+31811 d e^4-8623 e^5\right ) \operatorname{Subst}\left (\int \frac{1}{-56-x^2} \, dx,x,2+10 x\right )}{784 \left (5 d^2-2 d e+3 e^2\right )^3}\\ &=-\frac{1367 d-293 e+(423 d-1367 e) x}{1400 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )^2}+\frac{171735 d^3-92989 d^2 e+36207 d e^2+1831 e^3+25 \left (2203 d^3-9033 d^2 e+3635 d e^2-1829 e^3\right ) x}{39200 \left (5 d^2-2 d e+3 e^2\right )^2 \left (3+2 x+5 x^2\right )}+\frac{\left (42375 d^5-16643 d^4 e+58530 d^3 e^2-56058 d^2 e^3+31811 d e^4-8623 e^5\right ) \tan ^{-1}\left (\frac{1+5 x}{\sqrt{14}}\right )}{1568 \sqrt{14} \left (5 d^2-2 d e+3 e^2\right )^3}+\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log (d+e x)}{\left (5 d^2-2 d e+3 e^2\right )^3}-\frac{e \left (4 d^4+5 d^3 e+3 d^2 e^2-d e^3+2 e^4\right ) \log \left (3+2 x+5 x^2\right )}{2 \left (5 d^2-2 d e+3 e^2\right )^3}\\ \end{align*}
Mathematica [A] time = 0.29743, size = 282, normalized size = 0.86 \[ \frac{\frac{392 \left (5 d^2-2 d e+3 e^2\right )^2 (e (1367 x+293)-d (423 x+1367))}{\left (5 x^2+2 x+3\right )^2}+\frac{14 \left (5 d^2-2 d e+3 e^2\right ) \left (-d^2 e (225825 x+92989)+5 d^3 (11015 x+34347)+d e^2 (90875 x+36207)+e^3 (1831-45725 x)\right )}{5 x^2+2 x+3}-274400 e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log \left (5 x^2+2 x+3\right )+548800 e \left (3 d^2 e^2+5 d^3 e+4 d^4-d e^3+2 e^4\right ) \log (d+e x)+25 \sqrt{14} \left (58530 d^3 e^2-56058 d^2 e^3-16643 d^4 e+42375 d^5+31811 d e^4-8623 e^5\right ) \tan ^{-1}\left (\frac{5 x+1}{\sqrt{14}}\right )}{548800 \left (5 d^2-2 d e+3 e^2\right )^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.071, size = 1437, normalized size = 4.4 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.57757, size = 771, normalized size = 2.34 \begin{align*} \frac{\sqrt{14}{\left (42375 \, d^{5} - 16643 \, d^{4} e + 58530 \, d^{3} e^{2} - 56058 \, d^{2} e^{3} + 31811 \, d e^{4} - 8623 \, e^{5}\right )} \arctan \left (\frac{1}{14} \, \sqrt{14}{\left (5 \, x + 1\right )}\right )}{21952 \,{\left (125 \, d^{6} - 150 \, d^{5} e + 285 \, d^{4} e^{2} - 188 \, d^{3} e^{3} + 171 \, d^{2} e^{4} - 54 \, d e^{5} + 27 \, e^{6}\right )}} + \frac{{\left (4 \, d^{4} e + 5 \, d^{3} e^{2} + 3 \, d^{2} e^{3} - d e^{4} + 2 \, e^{5}\right )} \log \left (e x + d\right )}{125 \, d^{6} - 150 \, d^{5} e + 285 \, d^{4} e^{2} - 188 \, d^{3} e^{3} + 171 \, d^{2} e^{4} - 54 \, d e^{5} + 27 \, e^{6}} - \frac{{\left (4 \, d^{4} e + 5 \, d^{3} e^{2} + 3 \, d^{2} e^{3} - d e^{4} + 2 \, e^{5}\right )} \log \left (5 \, x^{2} + 2 \, x + 3\right )}{2 \,{\left (125 \, d^{6} - 150 \, d^{5} e + 285 \, d^{4} e^{2} - 188 \, d^{3} e^{3} + 171 \, d^{2} e^{4} - 54 \, d e^{5} + 27 \, e^{6}\right )}} + \frac{25 \,{\left (2203 \, d^{3} - 9033 \, d^{2} e + 3635 \, d e^{2} - 1829 \, e^{3}\right )} x^{3} + 64765 \, d^{3} - 32279 \, d^{2} e - 4523 \, d e^{2} + 6021 \, e^{3} +{\left (193765 \, d^{3} - 183319 \, d^{2} e + 72557 \, d e^{2} - 16459 \, e^{3}\right )} x^{2} +{\left (89895 \, d^{3} - 129677 \, d^{2} e + 46591 \, d e^{2} - 3737 \, e^{3}\right )} x}{7840 \,{\left (25 \,{\left (25 \, d^{4} - 20 \, d^{3} e + 34 \, d^{2} e^{2} - 12 \, d e^{3} + 9 \, e^{4}\right )} x^{4} + 225 \, d^{4} - 180 \, d^{3} e + 306 \, d^{2} e^{2} - 108 \, d e^{3} + 81 \, e^{4} + 20 \,{\left (25 \, d^{4} - 20 \, d^{3} e + 34 \, d^{2} e^{2} - 12 \, d e^{3} + 9 \, e^{4}\right )} x^{3} + 34 \,{\left (25 \, d^{4} - 20 \, d^{3} e + 34 \, d^{2} e^{2} - 12 \, d e^{3} + 9 \, e^{4}\right )} x^{2} + 12 \,{\left (25 \, d^{4} - 20 \, d^{3} e + 34 \, d^{2} e^{2} - 12 \, d e^{3} + 9 \, e^{4}\right )} x\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.32411, size = 2678, normalized size = 8.14 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.15806, size = 621, normalized size = 1.89 \begin{align*} \frac{\sqrt{14}{\left (42375 \, d^{5} - 16643 \, d^{4} e + 58530 \, d^{3} e^{2} - 56058 \, d^{2} e^{3} + 31811 \, d e^{4} - 8623 \, e^{5}\right )} \arctan \left (\frac{1}{14} \, \sqrt{14}{\left (5 \, x + 1\right )}\right )}{21952 \,{\left (125 \, d^{6} - 150 \, d^{5} e + 285 \, d^{4} e^{2} - 188 \, d^{3} e^{3} + 171 \, d^{2} e^{4} - 54 \, d e^{5} + 27 \, e^{6}\right )}} - \frac{{\left (4 \, d^{4} e + 5 \, d^{3} e^{2} + 3 \, d^{2} e^{3} - d e^{4} + 2 \, e^{5}\right )} \log \left (5 \, x^{2} + 2 \, x + 3\right )}{2 \,{\left (125 \, d^{6} - 150 \, d^{5} e + 285 \, d^{4} e^{2} - 188 \, d^{3} e^{3} + 171 \, d^{2} e^{4} - 54 \, d e^{5} + 27 \, e^{6}\right )}} + \frac{{\left (4 \, d^{4} e^{2} + 5 \, d^{3} e^{3} + 3 \, d^{2} e^{4} - d e^{5} + 2 \, e^{6}\right )} \log \left ({\left | x e + d \right |}\right )}{125 \, d^{6} e - 150 \, d^{5} e^{2} + 285 \, d^{4} e^{3} - 188 \, d^{3} e^{4} + 171 \, d^{2} e^{5} - 54 \, d e^{6} + 27 \, e^{7}} + \frac{323825 \, d^{5} - 290925 \, d^{4} e + 25 \,{\left (11015 \, d^{5} - 49571 \, d^{4} e + 42850 \, d^{3} e^{2} - 43514 \, d^{2} e^{3} + 14563 \, d e^{4} - 5487 \, e^{5}\right )} x^{3} + 236238 \, d^{3} e^{2} +{\left (968825 \, d^{5} - 1304125 \, d^{4} e + 1310718 \, d^{3} e^{2} - 777366 \, d^{2} e^{3} + 250589 \, d e^{4} - 49377 \, e^{5}\right )} x^{2} - 57686 \, d^{2} e^{3} +{\left (449475 \, d^{5} - 828175 \, d^{4} e + 761994 \, d^{3} e^{2} - 500898 \, d^{2} e^{3} + 147247 \, d e^{4} - 11211 \, e^{5}\right )} x - 25611 \, d e^{4} + 18063 \, e^{5}}{7840 \,{\left (5 \, d^{2} - 2 \, d e + 3 \, e^{2}\right )}^{3}{\left (5 \, x^{2} + 2 \, x + 3\right )}^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]